COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.CENT(Problems)
C00005 ENDMK
C⊗;
.CENT(Problems)
.BEGIN "prob1" TABIT1(10);
.GROUP;
1.##Which of the following are dotted-pairs?
.PT2
\%2a.%3 (X . Y)   %2b.%3 ((A . (B . C))  %2c.%3  A2   %2d.%3 (X . Y2 . Z)
.pt18
.APART
.GROUP;
%1
2.##Write the following as LISP trees:
.pt2
\%2a.%3  ((A . B) . (B . (C . D)))  %2b.%3  (((A . B) . C) . E)
.pt2
\%2c.%3  ((X . NIL) . (Y . (Z . NIL)))    %2d.%3  (NIL . NIL)
.pt18;
.APART
%1
.GROUP
3.##Write the following LISP trees as S-exprs:
.pt2;
.BEGIN SELECT g;NOFILL;PREFACE 0 MILLS;GROUP;
.TURN OFF "%","#","\";
.TURN ON "∞" FOR "%";
.TURN ON "?" FOR "\";
.TABS 7,20,45;
.KRK
       ?   ∞2a.∞* ?    ∞2b.∞*	?      ∞2c.∞*
       ?    /\    ?   /\        ?    /\
       ?   /  \   ?  /  \	?   /  \
       ?  /   /\  ? A   /\	?  A   /\
       ? /   /  \ ?    /  \	?     /  \
       ?A   B    C?   /    \	?    B   /\
		  ?  /\    /\	?       /  \
		  ? /  \   D E	?      C   /\
		  ? A  NIL	?         /  \
		  ?		?        D   NIL
.END



.APART
.GROUP
.BEGIN SELECT b;NOFILL;PREFACE 0 MILLS;GROUP;
.TURN OFF "%","#","α";
.TURN ON "∞" FOR "%";
.KRK
∞2d.∞* 		                ∞2e.∞*
⊂αααπααα⊃  ⊂αααπααααα⊃  ⊂ααααααπααα⊃  ⊂αααπααα⊃  ⊂αααπααααα⊃
~ # ~ #αβα→~ # ~  #  ~  ~ CONS ~ #αβα→~ X ~ #αβα→~ Y ~ NIL ~
%αβα∀ααα$  %αβα∀ααβαα$  %αααααα∀ααα$  %ααα∀ααα$  %ααα∀ααααα$
  ↓          ~    ↓
 CAR         ~   NIL
             ~  ⊂αααααπααα⊃  ⊂αααπααααα⊃
	     %α→~  #  ~ #αβα→~ # ~  #  ~
	        %ααβαα∀ααα$  %αβα∀ααβαα$
		   ↓           ↓    ↓
		 QUOTE         A   NIL
.END
.APART
.END "prob1"